#include <stdio.h> 
void run();

int main()
{
  printf("hello world!\n");
  run();
  return 0;
}
